Circle printing bug fixed.

diff --git a/admin/FOR-RELEASE b/admin/FOR-RELEASE
index 10dff66814f894feb09cb50bded0ee8d363f48b1..320a8498cf94f932aa69302ab3f8f1f52e833b25 100644 (file)
--- a/admin/FOR-RELEASE
+++ b/admin/FOR-RELEASE
@@ -50,8 +50,6 @@ invalid pointer from string_free_list.
 
 * BUGS
 
-** circle-printing bug from Stephen Berman; see my 5 Dec message.
-
 ** Ronan Keryell's Sep 23 bug about "tramp sudo:: and version control on RCS"
 
 ** TCP server processes do not work on Windows.